Denne masteroppgaven utforsker hvordan Z3, en "satisfiability modulo theories solver" (SMT-løser), kan brukes innenfor feltet rettferdig fordeling. Z3 ble testet for tilfeller der varene som skal fordeles er udelelige, og ...